Towards Continuous Activity Monitoring with Temporal Constraints

نویسنده

  • Jonas Ullberg
چکیده

Public demand for intelligent services in their home environments can be expected to grow in the near future once the required technology becomes more widely available and mature. Many intelligent home services cannot be provided in a purely reactive fashion though since they require contextual knowledge about the environment and most importantly the activities the residents are engaged in at any given time. This poses a problem since information about a human’s behavior is not easily accessible and has to be recognized from aggregated sensor data in most cases. Numerous activity recognition techniques have been studied in the literature. In this thesis we focus on one such technique which takes a temporal reasoning approach to activity recognition, namely recognizing activities by planning for them with a temporal planner. OMPS is an example of such a planner that has been used in previous work to recognize activities of humans in domestic environments. An important requirement for monitoring activities in a real world application is the ability to do so continuously and reliably. Two shortcomings in the previous approach hindered OMPS’s capability to meet this requirement, namely maintaining the performance of the activity recognition over long monitoring horizons, and ensuring future temporal consistency of recognized activities. This thesis will define the two problems, detail their solutions, and finally evaluate the modified system with the corresponding changes implemented.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Predictive Monitoring of Business Processes

Modern information systems that support complex business processes generally maintain significant amounts of process execution data, particularly records of events corresponding to the execution of activities (event logs). In this paper, we present an approach to analyze such event logs in order to predictively monitor business constraints during business process execution. At any point during ...

متن کامل

In Tenth International Workshop on Qualitative Reasoning ( QR ’ 96 )

We present a new method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. Such constraints are otherwise inexpressible using standard qualitative reasoning techniques. Trajectory constraints can be used to restrict the simulation to a region of the state space and to inject discontinuities. This capability can be used to f...

متن کامل

Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications

We present a mathematical programming-based method for optimal control of discrete-time nonlinear systems subject to temporal logic task specifications. We use linear temporal logic (LTL) to specify a wide range of properties and tasks, such as safety, progress, response, surveillance, repeated assembly, and environmental monitoring. Our method directly encodes an LTL formula as mixed-integer l...

متن کامل

Temporal Constraints on Trajectories in Qualitative Simulation

We present a new method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. Such constraints are otherwise inexpressible using standard qualitative reasoning techniques. Trajectory constraints can be used to restrict the simulation to a region of the state space and to inject discontinuities. This capability can be used to f...

متن کامل

Continuous Queries over Data Streams - Semantics and Implementation

Recent technological advances have pushed the emergence of a new class of data-intensive applications that require continuous processing over sequences of transient data, called data streams, in near real-time. Examples of such applications range from business activity monitoring and online analysis of sensor data to trend detection in stock ticker data. This work presents a solid and powerful ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009